From Type Inference to Configuration
نویسندگان
چکیده
A product line is a set of products and features with constraints on which subsets are available. Numerous configurators have been made available by product line vendors on the internet, in which procurers can experiment with the different options, e.g. how the selection of one product or feature entails or precludes the selection of another product or feature. We explore an approach to configuration inspired by type inference technology. The main contributions of the paper are a formalization of the configuration problem that includes aspects related to the interactive dialogue between the user and the system, a result stating that the configuration problem thus formalized has at least exponential complexity, and some techniques for computing approximate solutions more efficiently. While a substantial number of papers precede the present one in formalizing configuration as a constraint satisfaction problem, few address the aspects concerning interactivity between the user and the system.
منابع مشابه
Matrix Kummer-Pearson VII Relation and Polynomial Pearson VII Configuration Density
Abstract. A case of the matrix Kummer relation of Herz (1955) based on the Pearson VII type matrix model is derived in this paper. As a con- sequence, the polynomial Pearson VII configuration density is obtained and this sets the corresponding exact inference as a solvable aspect in shape theory. An application in postcode recognition, including a nu- merical comparison between the exact poly...
متن کاملAssessment of canal configuration in mandibular anterior teeth extracted in the city of Isfahan and patients treatedin Endodontics Department of Isfahan Faculty of Dentistry
Assessment of canal configuration in mandibular anterior teeth extracted in the city of Isfahan and patients treated in Endodontics Department of Isfahan Faculty of Dentistry Dr. SM. Hasheminiya*- Dr. SM. Hosseini Harandi** - Dr. M. Narimani** *- Assistant professor of Endodontics Dept.- Faculty of Dentistry - Isfahan University of Medical Sciences. ** - Dentist. Background and aim: Recogni...
متن کاملA Novel Type-2 Adaptive Neuro Fuzzy Inference System Classifier for Modelling Uncertainty in Prediction of Air Pollution Disaster (RESEARCH NOTE)
Type-2 fuzzy set theory is one of the most powerful tools for dealing with the uncertainty and imperfection in dynamic and complex environments. The applications of type-2 fuzzy sets and soft computing methods are rapidly emerging in the ecological fields such as air pollution and weather prediction. The air pollution problem is a major public health problem in many cities of the world. Predict...
متن کاملInference for a Skew Normal Distribution Based on Progressively Type-II Censored Samples
In many industrial experiments involving lifetimes of machines or units, experiments have to be terminated early or the number of experiments must be limited due to a variety of circumstances (e.g. when expensive, etc.) the samples that arise from such experiments are called censored data. Cohen (1991) was one of the earliest to study a more general censoring scheme called progressive censor...
متن کاملInference about the Burr Type III Distribution under Type-II Hybrid Censored Data
This paper presents the statistical inference on the parameters of the Burr type III distribution, when the data are Type-II hybrid censored. The maximum likelihood estimators are developed for the unknown parameters using the EM algorithm method. We provided the observed Fisher information matrix using the missing information principle which is useful for constructing the asymptotic confidence...
متن کاملProbabilistic Automated Language Learning for Configuration Files
Software failures resulting from configuration errors have become commonplace as modern software systems grow increasingly large and more complex. The lack of language constructs in configuration files, such as types and grammars, has directed the focus of a configuration file verification towards building post-failure error diagnosis tools. In addition, the existing tools are generally languag...
متن کامل